Kraft's inequality